<html>
<head><meta charset="utf-8"><title>hello · t-compiler/const-eval · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/index.html">t-compiler/const-eval</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/hello.html">hello</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="135929890"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/hello/near/135929890" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Welcome Bot <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/hello.html#135929890">(Oct 16 2018 at 21:10)</a>:</h4>
<p>Welcome to <a class="stream" data-stream-id="146212" href="/#narrow/stream/146212-.23t-compiler.2Fconst-eval">##t-compiler/const-eval</a>.</p>
<p><strong>Description</strong>: Discussion of constant evaluation</p>



<a name="135929915"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/hello/near/135929915" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/hello.html#135929915">(Oct 16 2018 at 21:10)</a>:</h4>
<p>ok <span class="user-mention" data-user-id="124288">@Oli</span> how about this =)</p>



<a name="135929924"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/hello/near/135929924" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/hello.html#135929924">(Oct 16 2018 at 21:10)</a>:</h4>
<p>perfect!</p>



<a name="135931555"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/hello/near/135931555" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jake Goulding <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/hello.html#135931555">(Oct 16 2018 at 21:39)</a>:</h4>
<p>clever</p>



<a name="135931613"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/hello/near/135931613" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/hello.html#135931613">(Oct 16 2018 at 21:40)</a>:</h4>
<p>I found the <code>foo/bar</code> convention in the zulip "guidelines" :)</p>



<a name="135952788"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/hello/near/135952788" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/hello.html#135952788">(Oct 17 2018 at 06:18)</a>:</h4>
<p>Hi all :D</p>



<a name="136068343"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/hello/near/136068343" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Andrew Poelstra <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/hello.html#136068343">(Oct 18 2018 at 20:10)</a>:</h4>
<p>Hello. I'm Andrew Poelstra. I work for Blockstream as a cryptographer/security researcher and have been hacking on Rust since 0.6. I'm the maintainer of rust-bitcoin and rust-secp256k1. I'm interested in writing high-assurance software and am excited by the potential of Miri to provide a well-defined "Rust machine" on which various things can be verified.</p>



<a name="136265919"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/hello/near/136265919" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/hello.html#136265919">(Oct 22 2018 at 13:10)</a>:</h4>
<p>omg I love zulip... talking with <span class="user-mention" data-user-id="120791">@RalfJ</span> in 3-4 threads while having them all in a linear list and the active one highlighted is so great</p>



<a name="136301315"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/hello/near/136301315" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Vadim Petrochenkov <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/hello.html#136301315">(Oct 22 2018 at 22:44)</a>:</h4>
<p>Question: why the discussion from Zulip threads like "<a href="https://github.com/rust-lang/rust/issues/55223" target="_blank" title="https://github.com/rust-lang/rust/issues/55223">#55223</a>" and "<a href="https://github.com/rust-lang/rust/issues/55260" target="_blank" title="https://github.com/rust-lang/rust/issues/55260">#55260</a>" couldn't happen on GitHub PRs  "<a href="https://github.com/rust-lang/rust/issues/55223" target="_blank" title="https://github.com/rust-lang/rust/issues/55223">#55223</a>" and "<a href="https://github.com/rust-lang/rust/issues/55260" target="_blank" title="https://github.com/rust-lang/rust/issues/55260">#55260</a>" respectively, in the immediate vicinity to the discussed code?</p>



<a name="136301455"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/hello/near/136301455" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/hello.html#136301455">(Oct 22 2018 at 22:47)</a>:</h4>
<p>maybe because of the GH problems since yesterday, where some PRs and issues weren’t sometimes accessible on the site</p>



<a name="136301457"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/hello/near/136301457" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Vadim Petrochenkov <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/hello.html#136301457">(Oct 22 2018 at 22:47)</a>:</h4>
<p>Development happens on GitHub, and e.g. I was subscribed only to messages from GitHub until very recently, and was a bit annoyed every time when github PR/issue linked to one of the numerous third-party mediums, like "oh we just discussed on IRC and decided ..."</p>



<a name="136301509"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/hello/near/136301509" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Vadim Petrochenkov <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/hello.html#136301509">(Oct 22 2018 at 22:48)</a>:</h4>
<p>Instead of motivation for changes or discussion being immediately attached to the PR itself.</p>



<a name="136305404"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/hello/near/136305404" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jake Goulding <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/hello.html#136305404">(Oct 23 2018 at 00:05)</a>:</h4>
<p>I can't evaluate why it "couldn't happen", but most people treat GitHub conversation as more asynchronous and longer form, vs media like chat (IRC, Zulip, Discord) which is more synchronous and single sentence. Sending a letter vs calling on the phone, as it were.</p>



<a name="136305486"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/hello/near/136305486" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jake Goulding <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/hello.html#136305486">(Oct 23 2018 at 00:07)</a>:</h4>
<p>I personally wish that Zulip were treated a bit more in the middle — the default behavior of allowing Enter in the message box should encourage a slightly longer form than traditional chat, while still being a bit more fluid.</p>



<a name="136305587"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/hello/near/136305587" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jake Goulding <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/hello.html#136305587">(Oct 23 2018 at 00:09)</a>:</h4>
<p>I don't think you'll <em>ever</em> get people to completely interact on GitHub alone — that would rule out Rust all-hands and conferences, for example. </p>
<p>I do think that GitHub should be the canonical source for the information, and that anything pertinent should be transcribed (perhaps to a nicer state / format) to GitHub.</p>



<a name="136305656"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/hello/near/136305656" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jake Goulding <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/hello.html#136305656">(Oct 23 2018 at 00:10)</a>:</h4>
<p>In those cases, the links to the IRC logs / Discord timestamp / Zulip permalink, etc. would be great as backup links.</p>



<a name="136305762"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/hello/near/136305762" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jake Goulding <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/hello.html#136305762">(Oct 23 2018 at 00:13)</a>:</h4>
<p>In retrospect, a lot of what I just espoused is basically what Stack Overflow encourages and it's pretty much pulling teeth to get people to try and adhere to those rules. That's even a case where people are immediately directly benefiting, so I'd expect that things that require waiting longer to reap the benefits will be tougher.</p>



<a name="136305828"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/hello/near/136305828" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jake Goulding <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/hello.html#136305828">(Oct 23 2018 at 00:15)</a>:</h4>
<p>Another possibility is that there's a certain class of person that enjoys this kind of work, but I don't know of any that really want to do it for free, don't think there's money for it, and I don't even know if a single person could handle the amount of work. A project librarian / historian / expert documenter, if you will.</p>



<a name="136318865"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/hello/near/136318865" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/hello.html#136318865">(Oct 23 2018 at 06:39)</a>:</h4>
<p><span class="user-mention" data-user-id="123856">@Vadim Petrochenkov</span> fair question. yesterday a big part was that GitHub was entirely broken, after commenting it could take hours until the comment was actually reliably visible for everyone.</p>



<a name="136318937"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/hello/near/136318937" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/hello.html#136318937">(Oct 23 2018 at 06:41)</a>:</h4>
<p>More generally though, chat is just so much <em>fatser</em> for quickly answering some questions, like the brief design discussion <span class="user-mention" data-user-id="124288">@Oli</span> and me had yesterday about <a href="https://github.com/rust-lang/rust/issues/55223" target="_blank" title="https://github.com/rust-lang/rust/issues/55223">#55223</a>. GitHub doesnt work well for real-time communication, while Zulip/IRC/... do.</p>



<a name="136324606"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/hello/near/136324606" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/hello.html#136324606">(Oct 23 2018 at 08:52)</a>:</h4>
<p>Also, this is the improvement from <span class="user-mention" data-user-id="120791">@RalfJ</span> and I having private chat discussions on discord</p>



<a name="136356022"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/hello/near/136356022" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jake Goulding <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/hello.html#136356022">(Oct 23 2018 at 18:18)</a>:</h4>
<p>I don't know the related GitHub issue, but did you transcribe the salient parts of the discussion (why &amp; why not {A,B,C} and what you ultimately picked, etc) into the issue?</p>



<a name="136359023"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/hello/near/136359023" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/hello.html#136359023">(Oct 23 2018 at 18:58)</a>:</h4>
<p>for one of the issues yes, the other is a PR and the discussion was mostly clarification on the review posted on the PR</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>